Research

Papers

1. Very large set axioms over constructive set theories joint with Hanul Jeon, Bulletin of Symbolic Logic, 30(4), 455-535, doi.org/10.1017/bsl.2024.8 (2024) arxiv:2204.05831 (2022)

2. ZFC without Power Set II: Reflection strikes back joint with Victoria Gitman, Fundamenta Mathematicae, 264, 149 - 178, doi.org/10.4064/fm206-11-2023 (2024) arxiv:2206.06220 (2022)

3. Realizability models for large cardinals joint with Laura Fontanella and Guillaume Geoffroy, In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 28:1-28:18, doi.org/10.4230/LIPIcs.CSL.2024.28 (2024)

4. Constructing the Constructible Universe Constructively joint with Michael Rathjen. Annals of Pure and Applied Logic, 175(3), doi.org/10.1016/j.apal.2023.103392 (2024) arxiv:2206.08283 (2022)

5. Taking Reinhardt's Power Away The Journal of Symbol Logic, 87(4), 1643-1662, doi:10.1017/jsl.2022.9 (2022) arxiv:2009.01127 (2021)

Preprints

1. A Guide to Krivine Realizability for Set Theory, arxiv:2307.13563 (2023)

2. Realizing the totally unordered structure of ordinals joint with Laura Fontanella (2024)

Thesis

1. Ph.D. Thesis: Large Cardinal in Weakened Axiomatic Theories. Written under the supervision of Michael Rathjen and Andrew Brooke-Taylor at the University of Leeds, 2021.